منابع مشابه
Assuring the Guardians
Ultra-critical systems are growing more complex, and future systems are likely to be autonomous and cannot be assured by traditional means. Runtime Verification (RV) can act as the last line of defense to protect the public safety, but only if the RV system itself is trusted. In this paper, we describe a model-checking framework for runtime monitors. This tool is integrated into the Copilot lan...
متن کاملGenome Guardians
Small RNAs bound by Argonaute proteins, such as piRNAs, have been shown in eukaryotes to silence foreign DNA elements like transposons by promoting the formation of heterochromatin. Other Argonaute-bound RNAs, such as microRNAs and siRNAs, induce posttranscriptional gene silencing. Homologs of Argonautes have been identified in prokaryotes, and bioinformatic analysis has suggested they may act ...
متن کاملUniversity of Southampton,
Using a reformulation of conventional results in decoherence theory, a condition is proposed for singling out a distinguished class of histories which includes those which use the " pointer basis " of Zurek. 1. What's good and bad about consistent histories The basic problem faced by any extension of quantum theory outside the laboratory realm of Bohr's interpretation can be expressed by the sl...
متن کاملThe inflammasomes: guardians of the body.
The innate immune system relies on its capacity to rapidly detect invading pathogenic microbes as foreign and to eliminate them. The discovery of Toll-like receptors (TLRs) provided a class of membrane receptors that sense extracellular microbes and trigger antipathogen signaling cascades. More recently, intracellular microbial sensors have been identified, including NOD-like receptors (NLRs). ...
متن کامل280 but Who Will Guard the Guardians ?
In posing the famous question,2 the Roman author, Juvenal, was suggesting that wives cannot be trusted, and keeping them under guard is not a solution − because the guards cannot be trusted either. Half a millennium or so earlier, Plato3 in The Republic expressed a more optimistic view regarding the guardians or rulers of the city-state, namely that one should be able to trust them to behave pr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Lancet
سال: 1871
ISSN: 0140-6736
DOI: 10.1016/s0140-6736(02)62468-7